(:= a (when (<> c 12) 6))