Fedora-powered logic extensions.