add prerequisites to documentation, add save and filename proposal procedures, simplify arguments