Some more tests. Making reductio! more general.