Getting really to work on knowns, unary creation now possible