TM with unknown properties