Fixed element entails and satisfies.
Merge pull request #138 from JLiangWaterloo/fix-element-entails-satifies

Fixed element entails and satisfies.