Invited Talk for the Simposium REFINL 2021, 9 pp.