chimera-write-the-check-before-the-code

A criterion written after the implementation describes the implementation. Write the failing check first, watch it fail, then build.