On Tue, Dec 10, 2013 at 11:51 PM, Lukasz Stafiniak <lukstafi@gmail.com>wrote:

>
>> I do not need it, I am just exploring ways of outputting that information
> in case someone would find it useful (under the big conditional that
> someone would find InvarGenT useful in the first place, rather than just
> cool...)
>
*under the big counterfactual
*rather than merely cool