A problem with free will contradiction