Implicit assertions view 2