Effectual reasoning