Edited for readability