involutorial algebra