logic.v 34.6 KB