No.12792113 ViewReplyOriginalReport
What isn't ultimately variable and reduction and substitution?