proof sometimes compact is better. original by kukuruzlaplay