We study the synthesis under environment specifications problem for LTL/LTLf which, in particular, generalizes FOND (strong) planning with these temporal goals. consider case where agent cannot enforce its goal --- which argument using best-effort strategies has been made and intermediate ground, between enforcing strategies, of dominant strategies. Intuitively, such achieve against any it is a...