Foris fr^n n:o 5.9)