Prerequisites

Same as in §4.1.