let chain_and l = `And l