when the margin is too small to fit the proof <<<<<<<<<<<<https://octodon.social/media/MFA7f6VQbG0oz39k3c8