Did I solve Forrest's statement back in 2018?