The law defineth the rights of every citizen.

I'll definetly finish the project by Friday.

In the proof, the definee must satisfy all the conditions of the definition before we can proceed.

The documentation lists all the definees and their corresponding definitions to help developers understand the API.

In the proof, the well-definedness of the quotient map is crucial to ensure the resulting function is unambiguous.