Use definitions from Lowe et.al. in manifesto.r