Past, unsuccesful attempts, except for A' vs q'

which only needs the labels of the proplyds