This note is following along (as a side comment/ verification/ concrete computation purposed) Mitchell’s Two notes: