Fancy DSL approach to rigorously testing conditions.