Review and changes from Jocelyn Fiat

using prefix a_   (for argument _ ) so that it is clear what is an argument and what is an attribute.