tighten test for f as valid K-structure