start of abstract form