Lifted Logic EF3