Finished S1 is the suspension of Bool