logic.v 37.9 KB