Basic Hyper-F notation