user proper literals