galeproof

not defined yet