A Generally Efficient Targeted Minimum Loss Based Estimator based on the Highly Adaptive Lasso | Synapse