effectual reasoning