added assertion
working on 3rd assertion
Merge branch `executable` into `master`.