The claim conflates 'not explicitly stated in Props. 1–2' with 'not derivable,' overlooking that aux...
This proposition has not been edited since the history system was added.