Verify inverse functions