I can state the segment addition postulate using variables, then use substitution to evaluate the lengths for a given problem. Use correct notation