Decisively everything principles if