Big Bang Deductions occurrence subclass of Big Bang ⇐ (Big Bang instance of occurrence), (instance of inverse property subclass of) steady-state model opposite of Big Bang ⇐ Big Bang opposite of steady-state model