compute_nullables works (I think)