add demonstration of distinguishing _|_ and lift _|_