intoMatOne doesn't need a preceding Del state
names and type signatures for paper