little bit of reformulation