Added some Lenstra-ism's...