fixed bugs in modal for checking correctness of verses