imandra view 3