BeTrue: add spec

Fixes issue #12.