how does one render ;\