Were Lee Robinson and Michael Gordon both directors?