Łoś Jerzy
Generalizations around Samuelson's nonsubstitution theorem