But where does A4 come from?