Symbolication of some logs