Update

Added Hoover Const character and a post condition for the set_cell fxn.