Prerequisites

Same as in §8.1.