program/lib for theoretical music.