leaving the responsibility for exact details to the compiler, while devoting our effort to arriving at the outlines of the condensation.