Read through 60% of Logic.v