Implemented (semi-)correct completeness checking.