Logical Mozart