Improve explanation of partiality.