Further debugging: some implementation involving pi.