Pattern: t+ and deviation from the spec for Assertions returning a matcher