introduce ``calculate new head``
introduce (|Apple|_|)