I16: Sliding of formalism usage
(
)