with basis: the free module over partitions.