Lifted Logic Feb 6 2.0