#derivation #result from input #source to outcome #obtain result #logical consequence