A collection of primary logics.