Lifted Logic G hi kh