logic.v 41 KB