assert navigation