Why didn't John Lawrence join his Republican colleagues in cosponsoring these bills?