Modified: Add import set_arbitrary.