Prove that atom :false and :true are booleans