Many of Logic’s conventions are best enforced through code. However, some require the interpretation of a skilled designer. For this latter case, this section provides guidance on how to think about these problems.