↑Elaborating, specifying and simplifying