more type and logic silliness