Example of assumption-type defeat