Somewhat working SPACL