Sound Mathematical Reasoning…