Implement logical constraints.