FPA theory additions

Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>