(* Denotes required information)