1 by logical inference/deduction	a sensu contrario