Using atomic propositions
instance list
Merge branch 'development' of github.com:Marooned202/jtl into development