Added section about finite fields