- removed function from the premesis