00:32 <+bridge> [ddnet] <daverck> @deen i d like to see that history in the game 😃
01:07 <+Learath2> if a set has an infimum it by definition of infimum is bounded by below, right? or am I going insane?
01:07 <+Learath2> w/c