(graphical user interface) A GUI widget that allows the user to select one or more items from a list contained within a static, multiple line text box.
Proofs are typically presented as inductively-defined data structures such as plain lists, boxed lists, or trees, which are constructed according to the axioms and rules of inference of the logical system.
If you configured approved senders, and if you checked the Bypass spam filters for messages received from addresses or domains within these approved senders lists box, remove any domains from your approved sender list.
If you configured approved senders, and if you checked the Bypass spam filters for messages received from addresses or domains within these approved senders lists box, be sure to uncheck the Do not require sender authentication box.