Temporarily move fl to invariants