. ../../../testutils.sh

check Paper.idr
