556	 On Translation of Boolean Expressions
