Converting boolean expressions

Writing converters