resolved getters used internally in Card