Well Formed Conditions

The Well Formed Conditions allow us to specify outcomes that are more achievable, because the language conforms to certain rules.