man & 0:0 ).