TODO: revise sas.rb to adopt @goal annotation