curious_forall public
top