I'm not sure what your question is here.

You are correct that Finish to Start and lead requires you to be able to project when the predecessor task will finish.

Mathematically F to S with a lead is equal to a S to S with a lag.