package user2

default allow := false

allow := true {
    input.user == "pierre"
}