Correct specifications of actions.