Specs and base code