correct by construction

2023

You Can Be Correct Sir -