Antonio Ricardo D. Rodrigues (1951–2020). (5th November 2020)