neq1 comments on Self-indication assumption is wrong for interesting reasons