Initial import from the algebra course