Added a comment capturing idea about potential syntax for assertObeys.