Talk:Magma/@comment-11508664-20150506195644/@comment-24103176-20150509093705

They are not jokes or puns. they're portmanteaus.

http://en.wikipedia.org/wiki/Portmanteau