variant distrain pavement equality dissection pure single elementary deny derivative