StevenXClontz’s Twitter Archive—№ 5,331

@therealjrbrown @Cshearer41 @mathforge Yeah, this works if all steps are "iff". But otherwise x=1→0(x)=0(1)→0=0 yields the wrong result.