remove redundant CHECKs