Use agdaFP after a paragraph
Some NbE, CC, CPS reviews