Formal fool view 3