dis4 dis'\p(cis)