Bolzano's replacement operation (requirement v) requires at least one extra-logical idea in a propos...