Initially <concept> <anything>

Do the <anything> call applying the given <concept> only to the first part of the call. (This is equivalent to doing the first part of <anything> using the given <concept>, then doing Finish <anything>.)