Assumptions

The assumptions form has the following entries: