anthony-sahyoun-proof-by-infinite-descent-orb-mag