Next thing to do is the ttq model for PropEr.