Monotonic functions in Bianchi models: why they exist and how to find them