Assertion for ordered subsets
Add support for gaussian