semicontraction

not defined yet