9.4.2 Lourtioz
Completion requirements
JML 2