Add relex to logic examples