metal, bolts and nuts, mathematical logic