Init: explores RE