Removing abstractboard stuff