80% done -- Logic.v