New feature due to TGEN (not used anywhere in Alex yet)