loosened tests for f(K)