I synnerhet skulle antagendet afoåterkallelighet