Contract and condition -- no test