still trying to find a good syntax for defapp