make Command abstract (abstract method go()), update the spec respectively