on prototyping physical solving