Implicit assertions view 3