revision and logical neutrality

Display