Lifted Logic Feb 6 (2)