[Machine] Everything in the Quran is either a command or an allowance. Ibn Jurayj said: Except for the statement of Allah, "Indeed, the penalty for those who wage war against Allah and His Messenger" [Surah Al-Ma'idah 33]. There is no choice in it. Ash-Shafi'i said, as Ibn Jurayj and others said in regards to the one who wages war and others in the matter, I say...  

كُلُّ شَيْءٍ فِي الْقُرْآنِ أَوْ أَوْ لَهُ أَيُّهُ شَاءَ قَالَ ابْنُ جُرَيْجٍ إِلَّا قَوْلَ اللهِ ﷻ {إِنَّمَا جَزَاءُ الَّذِينَ يُحَارِبُونَ اللهَ وَرَسُولَهُ} [المائدة 33] فَلَيْسَ بِمُخِيِّرٍ فِيهَا قَالَ الشَّافِعِيُّ كَمَا قَالَ ابْنُ جُرَيْجٍ وَغَيْرُهُ فِي الْمُحَارِبِ وَغَيْرِهِ فِي الْمَسْأَلَةِ أَقُولُ  

Ka’ab bin ‘Ujrah said that the Apostle of Allaah ﷺ said to him, If you like sacrifice an animal or if you like fast three days or if you like give three sa’s of dates to six poor people. (Using translation from Abū Dāʾūd 1857)   

أَنَّ رَسُولَ اللهِ ﷺ قَالَ لَهُ إِنْ شِئْتَ فَانْسُكْ نَسِيكَةً وَإِنْ شِئْتَ فَصُمْ ثَلَاثَةَ أَيَّامٍ وَإِنْ شِئْتَ فَأَطْعِمْ ثَلَاثَةَ آصُعٍ سِتَّةَ مَسَاكِينَ