This is a placeholder for Avalon Logic