The FIRST requirement for logical...