Added show to ArbitraryClafer, necessary to work