 In fact, the idea of adding a function like \(\TRL\) to the semantical model had earlier been suggested by (McKim and Davis 1976) and by (Thomason and Gupta 1980). But unlike Belnap and Green these authors did not name the function in any spectacular way.