imandra view 1