Logic gamification