The Algebra of Infinite Justice