Simplified handling of 'inverse' and corrected case like @a:a