first push of pseudo code