On deriving the well-formedness condition · Study