Satisfiability in Strategy Logic can be Easier than Model Checking