Added the synthetic typical ambiguous case (commented out).