Add a (analytical) remark     Apply for account
04-03-2023 Herman Spanjer:
No forcing possible...
04-03-2023 Aleksandr Vlasenko: