General assertion