for SFX being set holds {} is_finer_than SFX ;