unformal declaration