Smi_ant_and