reformatted specs and added checks to ownership