Created library to update and check canonical forms