For Why there is something rather than nothing, we rewrite Nothing implies something. (1) For Why there is anything rather than nothing, we rewrite Nothing implies anything. (2) The difference from (1) to (2) is in the modal or quantified operator in the consequent going from possibility to necessity or from one/some to all. Both expressions (1) and (2) are tautologous and theorems. This means nothing implies anything, but anything does not imply nothing. Hence the problem is answered.