class well-formed