true abstract