https://www.guillaumehoogveld.net/cqfd7/
CQFD#7