@gjm@mathstodon.xyz Trying to do trivial algebra in my head and failing. Of course.