Rename function inactivate() -> deactivate()
Add spec about the views at the underlayer