Better notation