Basic state exploration is running