I en prolog meddelar F.