Lifted Logic Mock1