Bolzano's variation method presupposes a fixed universe of ideas, but some substitutions for [philos...