Original: Submission #534 by Luxray

Original: XLIV: strict proof eternal