Tacit programming is of theoretical interest, because the strict use of composition results in programs that are well adapted for equational reasoning.
In contrast, children struggle with deductive reasoning, which involves using a generalized principle in order to try to predict the outcome of an event.
Based on a low level of evidence and reasoning from first principles, clinicians may choose not to administer oxygen if the oxyhemoglobin saturation exceeds 90%.
