** init. Pulled assertions from cs3110 lib