Note on :-notation
Remove duplicate in favor of the one introduced recently