some contracts + doxygen on knownsets