Softcatala and all tm at the top