Removed a line that wasn't being used; added in some additional comments on P(a, b).