thus Macro (b := (f,a)) is good by SCMFSA7B:14, SCMFSA8C:70; :: according to SFMASTR1:def 1 :: thesis: verum