Logic check