and maybe it will show that not all assertions or ...
# strikt
c
and maybe it will show that not all assertions or navigation methods are needed