logic.v 17 KB