Fortress syntax extension