Syntax for IPS