all consistency checks generalized to work for lemmas as well