Beesla - Assemble sets of assumptions, and explore the consequences of each set.