Clarification, removal of redundancy, reality-conformance