Implement logical constraints