hw3 checks.json revises