Maybe worth it to include this proof as well, but relatively low priority.