binary and terms
fix binary test