* Handle NamedValue in properties, report exception
 * Console does not close, easier theorem design