hat notation is now functional