https://www.guillaumehoogveld.net/cqfd2/
CQFD#2