# $? fail1 # D x # C y # N z $! fail2 D x x C y (_. x (a. x a))