scripts for checking consistency and proving lemmas