Category:Log extensions/de-formal