Asserts and verbose log.