is(test, is(joe, good(cobbler))).