Small changes to test working with Ar's logic class