logical Re