Constructor and makeEmpty() is done(?)