A statement on which reasoning is based