first complete version of consistency checking