Use _² more often
ReceiptFreeness refactoring