Miranda, en ese entonces, formaba parte de una provincia.