Finished ambiguity example