Terse StarLogic Alternative