設 $x>0$ 且 $y=2^x$，考慮下列五個命題： 甲：若 $x>5$，則 $y>30$。 乙：若 $y>30$，則 $x>5$。 丙：若 $y$ 為整數，則 $x$ 為整數。 丁：若 $x$ 不是整數，則 $y$ 不是整數。 戊：若 $y$ 不是整數，則 $x$ 不是整數。 下列哪個選項恰好列出所有正確的命題？