everything works

formal not implemented