2:o Prolog , afC