added fake refinement [of terms] for fake holes