Verify origami

Implements #60