Abstract for F* discussion on 2/18