Before revision: We develop a first-order deductive system to show that the occurrence of Black Swan events is implied by their definition .
After revision: We develop a first-order deductive system to show that the occurrence of Black Swan events which have the property of occurring .