Fixed several Bugs; Added ambiguity example;