Add Demo + less verbose + show derivations