How to actually write this stuff