Rigorous FG

Content to come.