Pikcanon-NOT/Extensions