integrated Entails module
removed pointer from distributed example (keeping include)
so that validation is possible in oxygen.