Dialectica scalariella

No