added already-declared checkings