Implement application logic pub fn app_contract( app: &App, tx: &Transaction, x: &Data, w: &Data) -> bool{ todo!()}