REASONING MARGIN OF SAFETY