added show derivations and a basic test