ensuringArgumentIsWellFormedClause