formal analysis of starry night - Search