https://www.jerad.xyz/notes/course1-terms-and-definitions/