IO is a package of input messages and required output message specifications.

Output is a specification for a message that's expected.

Session is mostly a sequence of IOs.