i77 comments on [SEQ RERUN] Math is Subjunctively Objective