XLogic examples