Export satisfy. Fixes #12