Atomspace consistency and completeness