What if someone wants to know the default value?