SPFA by finite conditions