Correct compatibility rule

Correct compatibility rule in post about smooth infinitesimal analysis