How do you evaluate #log_0.8 (12)#?