the initial principles and showing why each piece of the notation is