def solveAndNotify(proto, exercise):
exercise.solvedBy(proto.user)<EOL>proto.callRemote(ce.NotifySolved,<EOL>identifier=exercise.identifier,<EOL>title=exercise.title)<EOL>
The user at the given AMP protocol has solved the given exercise.

    This will log the solution and notify the user.