let request_universal_literal (literal: literal) : literal = request_literal literal.sign (request_universal_term literal.atom)