Thread:AlphaBeta25/@comment-28967746-20171028165316/@comment-28967746-20171029203305

alright! and @geoff, tbh i think everyone prefers elim over non elim, so it isnt an issue.