Betty Jean (Extended Version)