 There is a unique smallest normal modal logic (given the set Atom)that which contains exactly what is required by the definition and nothing more. It is often called the minimal normal modal logic and is denoted by the boldface K (not to be confused with the non-boldface K denoting the schema).