Yes, you are expected to know, recognize, use, apply and more with these.  These are the rules and tools we use in the early part of the book. Also use with pages A93 and above in your text (list of postulates and theorems).