head) and reductio