distributivities