Implicit assertions view 1