A calculator for settling games of Ergo - the predicate logic-based card game. Designed to run on my old iPhone 3G, so probably a bit ropey now.