partial 2 * partiality 2 -