GT
enabling explainations
commenting for prov stderr output