Gravar-mail: Rejoinder to discussions on: Deductive derivation and Turing-computerization of semiparametric efficient estimation