Gamification & Logic