3 cheats remain on type soundness