^°rtal ) : rtal ):