Including PrimaryKey module and specs