Formal Inspection on Feb 9th, 2022