Various functions have been verified to work correctly.