added incomplete theory