(I think) It passes the first part of the testbench.