logic.v 33 KB