Tag: autonomous and conditional specification