logic.v 43.9 KB