removed notion of constants