added partially applied function assert