u/FormalSoftware6872