In addition to both verifying and synthesizing I feel there must be a better location to do this then `init`. Again suggestions are welcome.