https://www.guillaumehoogveld.net/cqfd4/
CQFD#4