something assumed without proof