Read through 41% of Logic.v