partial 2 * partiality 2 - ~~~~~~