A4(e): proff complete