Replaceability argument