Rearranged order, put negation section in main body.