The first dropdown box is "substitution" because we are replacing, aka substituting, the with . This replacement is valid because we are given that . They are congruent angles.
The second dropdown box is "definition of perpendicular". If we have a 90 degree angle like this, then the two lines are considered perpendicular simply by definition.