oktw
says to
#ysitd
<Cute_Panda>: 移項法則？等量公理？