logic.v 42.5 KB