Motivation | Specification colibri.stateless