second-coming-semantics