checking property that LH cant prove