#!/bin/bash
eye --quiet --nope heron-theorem.n3 --pass-only-new | cwm > heron-theorem-answer.n3
