Testing SFL