Formal fool view 1