( !7 6)