Better specs for ProAct.Flow.