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