Define #T, #F, #+INF, #-INF, #NAN, NAN?
Use #T and #F