Comment by hodder

Exactly. Probably an hour if you just tell your model of choice to do it for you and implement a logical testing framework.