Helper for ufns86