added functional/(stateless) rule example