New fact kernels_avail