Paper presentation at ITCS 2025, New York, USA.