proper arbitrary instance