instantiating free booleans