Initial commit of single assignment