How to write music in logic