oh, hello there 4am, we meet again. (and studying the greatness that is Algebraic and Axiomatic systems)