Implemented allOf.