Utförandet var , som vi förut antydt,