Solving Problems with KCFS