added comments under // givens: section
added workspace file to idea folder