Nice! One thing I think this doesn’t explain or mention is that, if you draw a line between two of those points derived from the finite field and find the curv

Nice! One thing I think this doesn’t explain or mention is that, if you draw a line between two of those points derived from the finite field and find the curve intersection, then negate the point's y-value, the resulting point also is a point derived from the finite field. The computation of λ involves a division, so it isn’t obvious to me that x3 is an integer.