ADD: estados; FIX: pretty print