Added TODO to check for K4