Logic of completed activities