Another way to say "Goodbye is more formal than bye." is "bye is short for goodbye"