mathematical logic! it's in the prompt! :)