No definitions found for assume