Added metatheoretic properties