Read through 80% of Logic.v