verbose/robust controller definition syntax