error messages intended to be shown to user are marked with $USER$ at the beginning