start impl generating all fixed points