Slightly better notation