Mind the gap, a kind of correctness