consistency, more checking