Lifted Logic ij