Fleshing out Logic package