intro to Logic.v