infer side conditions improved and proved, no cheats