Así los axiomas de acción se reescriben: